Statecharts to specify the control of automated manufacturing systems
نویسندگان
چکیده
منابع مشابه
Ijpr, 1998 Statecharts to Specify the Control of Automated Manufacturing Systems
J.C. MARTY(1,3), A.E.K SAHRAOUI(1), M. SARTOR (2) (1) Laboratoire d’Analyse et d’Architecture des Systèmes du Centre National de la Recherche Scientifique L.A.A.S.-C.N.R.S. 7, Avenue Colonel Roche, 31077 Toulouse, France. and IUT-B Université de Toulouse II 31073 Blagnac e-mail : [email protected] (2) Département de Génie mécanique Institut National des Sciences Appliquées Avenue de Rangueil 314...
متن کاملA Statecharts Approach to the Modelling of Discrete Manufacturing Systems
The paper shows a novel approach to the modelling of the production cells of discrete manufacturing by asynchronous version of a statecharts formalism. For the proposed model, the functional speciication of the model based on the speciication language of temporal logic is presented. The speciied behaviours are translated into the syntax of statecharts as guarded constraints on the transitions r...
متن کاملExtended Statecharts for the Modeling and Specification of Manufacturing Control Software Systems
Building software systems that are easier to use implies addressing the issue of increasing complexities in managing processes and communication between processes. In order to manage complexity, it is very important to have tools, notations, and methodologies which support the designer's work during design resolution. This paper introduces Extended Statecharts as a comprehensive modeling mechan...
متن کاملcontrol of the optical properties of nanoparticles by laser fields
در این پایان نامه، درهمتنیدگی بین یک سیستم نقطه کوانتومی دوگانه(مولکول نقطه کوانتومی) و میدان مورد مطالعه قرار گرفته است. از آنتروپی ون نیومن به عنوان ابزاری برای بررسی درهمتنیدگی بین اتم و میدان استفاده شده و تاثیر پارامترهای مختلف، نظیر تونل زنی(که توسط تغییر ولتاژ ایجاد می شود)، شدت میدان و نسبت دو گسیل خودبخودی بر رفتار درجه درهمتنیدگی سیستم بررسی شده اشت.با تغییر هر یک از این پارامترها، در...
15 صفحه اولIntroducing probabilities in Statecharts to specify reactive systems for performance analysis
Statecharts are expressed in a graphical language to specify complex reactive systems. They are extension of state-transition diagrams to which notions of hierarchy and orthogonality have been added. Recently, they have been suggested to represent performance models and in this regard a software package has been developed. In these performance models, the behavior of a system under study is con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Production Research
سال: 1998
ISSN: 0020-7543,1366-588X
DOI: 10.1080/002075498192364